Temporal Constraints for Concurrent Objects
نویسندگان
چکیده
منابع مشابه
Jeeg: temporal constraints for the synchronization of concurrent objects
We introduce Jeeg, a dialect of Java based on a declarative replacement of the synchronization mechanisms of Java that results in a complete decoupling of the ‘business’ and the ‘synchronization’ code of classes. Synchronization constraints in Jeeg are expressed in a linear temporal logic which allows to effectively limit the occurrence of the inheritance anomaly that commonly affects concurren...
متن کاملVerification of Temporal Constraints for Concurrent Workflows
Today’s workflow management systems have not sufficiently dealt with time information, which involves time modeling at build-time and time management at run-time. As a consequence, workflow management systems are short of the ability to support the checking of temporal constraints at run-time. Although several approaches have been devised to tackle this problem, they are limited to a single wor...
متن کاملTemporal Multiagent Planning with Concurrent Action Constraints
This paper investigates how centralised, cooperative, multiagent planning problems with concurrent action constraints and heterogeneous agents can be encoded with some minor additions to PDDL, and how such encoded domains can be solved via a translation to temporal planning. Concurrency constraints are encoded on affordances (object-action tuples) and determine the conditions under which a part...
متن کاملDynamic checking of temporal constraints for concurrent workflows
At present, workflow management systems have not sufficiently dealt with the issues of time, involving time modelling at build-time and time management at run-time. They are lack of the ability to support the checking of temporal constraints at run-time. Although some approaches have been devised to tackle this problem, they are limited to a single workflow and use only static techniques to ver...
متن کاملAbstraction for Concurrent Objects
ion for Concurrent Objects Ivana Filipović, Peter O’Hearn, Noam Rinetzky1, Hongseok Yang Queen Mary University of London, UK
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Notes in Theoretical Computer Science
سال: 2003
ISSN: 1571-0661
DOI: 10.1016/s1571-0661(04)80800-4